Assumptions: disjoint products, self-dual
Conclusions: disjoint coproducts
Proof: This holds by self-duality.